Polynomial Depth, Highness and Lowness for E

نویسنده

  • Philippe Moser
چکیده

We study the relations between the notions of highness, lowness and logical depth in the setting of complexity theory. We introduce a new notion of polynomial depth based on time bounded Kolmogorov complexity. We show our polynomial depth notion satisfies all basic logical depth properties, namely neither sets in P nor sets random for EXP are polynomial deep, and only polynomial deep sets can polynomially Turing compute a polynomial deep set. We prove all EXPcomplete sets are poly-deep, and under the assumption that NP does not have p-measure zero, then NP contains a polynomial deep set. We show that every high set for E contains a polynomial deep set in its polynomial Turing degree, and that there exists low for E polynomial deep sets.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On Boolean Lowness and Boolean Highness

The concepts of lowness and highness originate from recursion theory and were introduced into the complexity theory by Sch. oning (Lecture Notes in Computer Science, Vol. 211, Springer, Berlin, 1985). Informally, a set is low (high resp.) for a relativizable class K of languages if it does not add (adds maximal resp.) power to K when used as an oracle. In this paper, we introduce the notions of...

متن کامل

Sparse Oracles, Lowness, and Highness

The polynomial-time hierarchy has been studied extensively since it lies between the class P of languages accepted deterministically in polynomial time and the class PSPACE of languages accepted (deterministically or nondeterministically) in polynomial space. Since the P =? NP problem is still unsolved, it is not known whether the hierarchy is nontrivial, although it is known that there is a re...

متن کامل

Randomness and lowness notions via open covers

One of the main lines of research in algorithmic randomness is that of lowness notions. Given a randomness notion R, we ask for which sequences A does relativization to A leave R unchanged (i.e., RA = R)? Such sequences are call low for R. This question extends to a pair of randomness notions R and S , where S is weaker: for which A is S A still weaker than R? In the last few years, many result...

متن کامل

On the Structure of Low Sets

Over a decade ago, Schh oning introduced the concept of lowness into structural complexity theory. Since then a large body of results has been obtained classifying various complexity classes according to their lowness properties. In this paper we highlight some of the more recent advances on selected topics in the area. Among the lowness properties we consider are polynomial-size circuit comple...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/1602.03332  شماره 

صفحات  -

تاریخ انتشار 2016